R._French,_L._Humberstone;_"Partial_confirmation_of_a_conjecture_on_the_boxdot_translation_in_modal_logic"